document.write("Browser Tools Interface (external source file)");